Search results for "Reasoning system"

Abductive Reasoning and Linguistic Meaning

2006

A Dynamic Reasoning Architecture for Computer Network Management

2005

This paper focuses on improving network management and monitoring by the adoption of Artificial Intelli- gence techniques. In order to allow automated reasoning on networking concepts, we defined an accurate ontologi- cal model capable of describing as better as possible the networking domain. The thorough representation of the do- main knowledge is used by a Logical Reasoner, which is an expert system capable of performing high-level manage- ment tasks.

The Development of Conditional Reasoning: A Mental Model Account

2002

Abstract Conditional (if-then) reasoning is one of the key components of logical reasoning. Studies examining the way that children and adults make conditional inferences have shown that while there are some clear developmental patterns, there is also a great deal of variation in performance due to factors such as problem content. Such variation is difficult to model without an explicit process model. In the following we propose a variant of mental model theory (Johnson-Laird, 1983) that can explain much of the empirical data. This model suggests that the development of conditional reasoning can be explained, at least partly, by such factors as the capacity of working memory, the range of k…

An Integrated Architecture for Surveillance and Monitoring in an Archaeological Site

2005

This paper describes an on-going work aimed at designing and deploying a system for the surveillance and monitoring of an archaeological site, namely the "Valley of the Temples" in Agrigento, Italy. Given the relevance of the site from an artistical and historical point of view, it is important to protect the monuments from malicious or simply incautious behavior; however, the vastity of the area to be monitored and the vague definition of its boundaries make it unpractical to provide extensive coverage through traditional sensors or similar devices. We describe the design of an architecture for the surveillance of the site and for the monitoring of the visitors' behavior consisting in an i…

Agents in dynamic contexts, a system for learning plans

2020

Reproducing the human ability to cooperate and collaborate in a dynamic environment is a significant challenge in the field of human-robot teaming interaction. Generally, in this context, a robot has to adapt itself to handle unforeseen situations. The problem is runtime planning when some factors are not known before the execution starts. This work aims to show and discuss a method to handle this kind of situation. Our idea is to use the Belief-Desire-Intention agent paradigm, its the Jason reasoning cycle and a Non-Axiomatic Reasoning System. The result is a novel method that gives the robot the ability to select the best plan.

Probabilistic Logic under Coherence: Complexity and Algorithms

2005

In previous work [V. Biazzo, A. Gilio, T. Lukasiewicz and G. Sanfilippo, Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P, Journal of Applied Non-Classical Logics 12(2) (2002) 189---213.], we have explored the relationship between probabilistic reasoning under coherence and model-theoretic probabilistic reasoning. In particular, we have shown that the notions of g-coherence and of g-coherent entailment in probabilistic reasoning under coherence can be expressed by combining notions in model-theoretic probabilistic reasoning with concepts from default reasoning. In this paper, we continue this line of research. Based on the above sem…

Fuzzy Methods and Approximate Reasoning in Geographical Information Systems

2014

This issue has been dedicated to the usage of fuzzy logic in the context of Geographical Information Systems (GIS) and were receveid the following papers whose contents are described below: - in the paper of A. Hofmann, S. Hoskova-Mayerova, and V. Talhofer, the authors use a GIS tool which is useful to study the influence of geographic and climatic factors on the terrain passability of armed forces and the Integrated Rescue System. - In the first paper of S. Sessa and F. Di Martino, the authors propose the usage of the well known Extended Gustafson-Kessel clustering method, encapsulated in a GIS tool, for detecting hotspots in spatial analysis. The data consist of geo-referenced patterns co…